...cIassificationof Terminologies)的新一代产品,是英国曼城斯特大学 开发的一个描述逻辑分类器,提供对模型逻辑(model logic)的可满足性测试,采用了客户端/服务器模式。 FaCT++采用FaCT的算法,二者均采用tableaux算 法。
基于28个网页-相关网页
关键词: 道义逻辑;模态逻辑;悖论;语义学 [gap=1112]Key words: moral logic; model logic; paradox;semantics
基于22个网页-相关网页
Action Model Logic 行动模型逻辑 ; 相对化公共知识
logic model 逻辑模型 ; 逻辑模式
first-order model logic 一阶表达式
Model Logic and Philosophy 模态逻辑与哲学
logic deccsion model 逻辑决策模型
Logic Data Model 逻辑数据模型 ; 模子
System Logic Model 系统逻辑模型
Programme Logic Model 程序逻辑模式
With the theory of model logic being raised, the problem of global unification and its identification, as well as essentialism, are also put forward.
随着模态逻辑的兴起,还提出了跨世界同一及其识别问题,以及与这个问题有着密切联系的关于本质主义的争论。
参考来源 - 同一性与指称理论评析·2,447,543篇论文数据,部分数据来源于NoteExpress
Rails migrations let you use model logic with your data migration where SQL scripts don't.
Rails迁移支持把模型逻辑用于数据迁移,而sql脚本做不到这一点。
Such a design makes maintenance all but impossible, because whenever the view changes, you must change the model logic, and vice versa.
这样的设计使得维护几乎不可能实现,因为无论视图何时改变,您都必须改变模型逻辑,反之亦然。
But in our case, because the servlet actually creates the downstream view, we need additional components to wrap our controller and model logic.
但在我们的示例中,因为servlet实际上创建了下行视图,所以我们需要另外的组件来包装控制器和模型逻辑。
应用推荐